# SPDX-License-Identifier: GPL-2.0
#
# Makefile for the linux kernel.
#

CFLAGS_printk.o		:= -Wno-nonnull

obj-y     = printk.o panic.o cpu.o extable.o kthread.o \
			reboot.o sys_ni.o tcb.o signal.o exit.o smp.o \
			stop_machine.o smpboot.o fork.o pid.o

obj-$(CONFIG_KALLSYMS) += kallsyms.o

obj-y += irq/
obj-y += locking/
obj-y += rcu/
obj-y += sched/
obj-y += time/
